M. Girlando, L. Straßburger; "SMOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)"